On Agreement Problems with Gossip Algorithms in absence of common reference frames Mauro Franceschelli and Andrea Gasparri Abstract— In this paper a novel approach to the problem of decentralized agreement toward a com

Source URL: gasparri.dia.uniroma3.it

Examples of how to Determine the Specifications of Control Systems Joey W Coleman and Cliff B Jones School of Computing Science University of Newcastle upon Tyne NE1 7RU, UK

Source URL: rodin.cs.ncl.ac.uk

• Combustion
• Problem frames approach
• Software development
• Flame

Problem Finding, Problem Solving Note on Extracting Insights “I call it scratching. You know how you scratch away at a lottery ticket to see if you’ve won? That’s what I’m doing when I begin a piece. I’m diggin

Source URL: innovation-archives.berkeley.edu

• Cognition
• Creativity
• Diagrams
• Cognitive science
• Academia
• Design
• Thought
• Management
• Creative problem-solving
• Flowchart
• Problem frames approach
• Problem solving

A Lightweight Code Analysis and its Role in Evaluation of a Dependability Case Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Insti

Source URL: people.csail.mit.edu

• Systems engineering
• Formal methods
• Software requirements
• Quality
• Safety engineering
• Dependability
• Reliability engineering
• Problem frames approach
• Software development methodology
• Software development
• Software
• Science

PDF Document

Source URL: mcs.open.ac.uk

• Technology
• Science
• Software engineering
• Theoretical computer science
• Software requirements
• Formal verification
• Software verification
• Formal specification
• Problem frames approach
• Software development
• Formal methods
• Systems engineering

PDF Document

Source URL: eprints.cs.vt.edu

• Software
• Problem frames approach
• Requirements elicitation
• Systems engineering process
• Requirements analysis
• Requirement
• Software Requirements Specification
• Decomposition
• RGPS
• Software development
• Systems engineering
• Software requirements

Extended abstract: Dagstuhl Seminar 09381, 13-18 SeptemberRefinement, Problems and Structures Michael Jackson The Open University

Source URL: mcs.open.ac.uk

• Time
• Escapement
• Pendulum clock
• Pendulum
• Complexity
• Clock
• Decomposition
• System
• Problem frames approach
• Horology
• Measurement
• Science

Problem Decomposition for Reuse Daniel Jackson Michael Jackson School of Computer Science MAJ Consulting Ltd Carnegie Mellon University

Source URL: mcs.open.ac.uk

• Systems science
• Problem frames approach
• Systems analysis
• Software design
• Decomposition
• Routing
• Router
• Frame
• Problem domain
• Systems engineering
• Systems theory
• Software development

Connecting Viewpoints by Shared Phenomena Michael Jackson AT&T Research Murray Hill NJ and MAJ Consulting Ltd 101 Hamilton Terrace London NW8 9QY England

Source URL: mcs.open.ac.uk

• Systems engineering
• Software development process
• Communicating sequential processes
• Concurrent computing
• Phenomenon
• Domain
• Software development methodology
• Requirement
• Problem frames approach
• Software development
• Software
• Software requirements

Proceedings of Coordination 2004: Sixth International Conference on Coordination Models and Languages, Pisa, 2004 Problem Frames: a Case for Coordination L. Barroca1, J.L. Fiadeiro2, M. Jackson1, R. Laney1 and B.Nuseibe

Source URL: mcs.open.ac.uk

• Systems theory
• Systems engineering
• Problem frames approach
• Systems analysis
• Domain
• Complexity
• Architecture description language
• Software development
• Software requirements
• Software